n=1000; a=1; b=395; minister=[|1,154| 1,220| 1,293| 1,374| 1,274| 1,383| 1,925| 1,424| 1,950| 1,910| 1,588| 1,930| 1,418| 1,489| 1,59| 1,677| 1,423| 1,824| 1,972| 1,657| 1,441| 1,688| 1,814| 1,645| 1,903| 1,751| 1,500| 1,106| 1,940| 1,32| 1,123| 1,899| 1,583| 1,210| 1,740| 1,387| 1,541| 1,985| 1,365| 1,370| 1,875| 1,554| 1,665| 1,493| 1,709| 1,986| 1,506| 1,324| 1,481| 1,368| 1,446| 1,536| 1,474| 1,96| 1,939| 1,842| 1,755| 1,578| 1,934| 1,865| 1,634| 1,751| 1,628| 1,803| 1,773| 1,648| 1,866| 1,502| 1,880| 1,623| 1,747| 1,554| 1,496| 1,489| 1,537| 1,664| 1,210| 1,162| 1,217| 1,91| 1,833| 1,857| 1,204| 1,598| 1,40| 1,255| 1,153| 1,140| 1,814| 1,261| 1,374| 1,104| 1,624| 1,382| 1,797| 1,532| 1,447| 1,161| 1,789| 1,162| 1,570| 1,263| 1,768| 1,282| 1,491| 1,474| 1,727| 1,466| 1,452| 1,13| 1,597| 1,568| 1,316| 1,181| 1,180| 1,646| 1,528| 1,597| 1,164| 1,207| 1,473| 1,619| 1,554| 1,404| 1,358| 1,584| 1,845| 1,235| 1,355| 1,698| 1,657| 1,131| 1,711| 1,995| 1,554| 1,586| 1,168| 1,393| 1,987| 1,244| 1,994| 1,263| 1,74| 1,467| 1,792| 1,952| 1,331| 1,11| 1,356| 1,77| 1,109| 1,636| 1,350| 1,200| 1,439| 1,478| 1,906| 1,544| 1,216| 1,788| 1,470| 1,738| 1,637| 2,302| 1,434| 1,640| 1,849| 1,22| 1,57| 1,53| 1,96| 1,271| 1,222| 1,560| 1,503| 1,824| 1,947| 1,911| 1,238| 1,142| 1,161| 1,173| 1,148| 1,948| 1,688| 1,73| 1,819| 1,959| 1,765| 1,773| 1,373| 1,392| 1,594| 1,83| 1,723| 1,888| 1,289| 1,139| 1,229| 1,870| 1,712| 1,986| 1,251| 1,745| 1,742| 1,479| 1,962| 1,404| 1,94| 1,523| 1,709| 1,21| 1,609| 1,690| 1,267| 1,787| 1,157| 1,633| 1,306| 1,407| 1,56| 1,508| 1,410| 1,570| 1,549| 1,659| 1,138| 1,833| 1,653| 1,959| 1,688| 1,939| 1,715| 1,853| 1,280| 1,588| 1,990| 1,319| 1,757| 1,494| 1,769| 1,177| 1,378| 1,948| 1,990| 1,561| 1,75| 1,520| 1,248| 1,601| 1,539| 1,507| 1,325| 1,109| 1,444| 1,575| 1,784| 1,518| 1,524| 1,602| 1,530| 1,94| 1,653| 1,760| 1,474| 1,36| 1,832| 1,447| 1,25| 1,702| 1,615| 1,307| 1,135| 1,185| 1,899| 1,355| 1,221| 1,638| 1,207| 1,42| 1,879| 1,423| 1,382| 1,67| 1,943| 1,262| 1,215| 1,380| 1,576| 1,436| 1,951| 1,984| 1,747| 1,858| 1,570| 1,589| 1,815| 1,240| 1,186| 1,294| 1,928| 1,579| 1,491| 1,778| 1,178| 1,788| 1,557| 1,792| 1,838| 1,101| 1,526| 1,572| 1,396| 1,70| 1,122| 1,224| 1,109| 1,379| 1,92| 1,685| 1,623| 1,116| 1,316| 1,298| 1,358| 1,96| 1,711| 1,207| 1,398| 1,302| 1,441| 1,225| 1,10| 1,621| 1,165| 1,974| 1,110| 1,350| 1,258| 1,141| 1,809| 1,856| 1,315| 1,654| 1,564| 1,36| 1,473| 1,35| 1,441| 1,995| 1,862| 1,317| 1,449| 1,982| 1,336| 1,581| 1,238| 1,575| 1,775| 1,320| 1,701| 1,777| 1,323| 1,662| 1,603| 1,428| 1,838| 1,81| 1,568| 1,561| 1,134| 1,401| 1,325| 1,133| 1,286| 1,157| 1,977| 1,542| 1,974| 1,86| 1,587| 1,173| 1,347| 1,625| 1,405| 1,591| 1,557| 1,2| 1,491| 1,987| 1,287| 1,160| 1,630| 1,550| 1,983| 1,754| 1,469| 1,522| 1,543| 1,10| 1,14| 1,434| 1,542| 1,503| 1,598| 1,885| 1,173| 1,274| 1,456| 1,732| 1,988| 1,287| 1,618| 1,298| 1,385| 1,884| 1,463| 1,614| 1,348| 1,449| 1,844| 1,351| 1,190| 1,284| 1,916| 1,628| 1,399| 1,372| 1,389| 1,155| 1,931| 1,799| 1,534| 1,110| 1,265| 1,700| 1,71| 1,994| 1,137| 1,524| 1,839| 1,82| 1,505| 1,270| 1,629| 1,281| 1,844| 1,297| 1,25| 1,57| 1,505| 1,140| 1,850| 1,807| 1,260| 1,373| 1,316| 1,145| 1,170| 1,912| 1,373| 1,697| 1,685| 1,813| 1,43| 1,51| 1,110| 1,570| 1,6| 1,265| 1,561| 1,353| 1,799| 1,980| 1,536| 1,798| 1,743| 1,358| 1,216| 1,785| 1,913| 1,45| 1,247| 1,15| 1,88| 1,224| 1,893| 1,433| 1,409| 1,757| 1,321| 1,499| 1,54| 1,449| 1,105| 1,538| 1,74| 1,48| 1,309| 1,417| 1,894| 1,425| 1,60| 1,528| 1,227| 1,952| 1,721| 1,554| 1,906| 1,291| 1,417| 1,999| 1,778| 1,29| 1,818| 1,141| 1,957| 1,792| 1,715| 1,198| 1,400| 1,250| 1,505| 1,177| 1,491| 1,434| 1,521| 1,388| 1,591| 1,614| 1,520| 1,868| 1,851| 1,931| 1,466| 1,944| 1,840| 1,642| 1,523| 1,148| 1,489| 1,964| 1,987| 1,917| 1,294| 1,986| 1,888| 1,706| 1,487| 1,832| 1,371| 1,520| 1,122| 1,130| 1,398| 1,919| 1,369| 1,800| 1,688| 1,100| 1,181| 1,389| 1,424| 1,78| 1,617| 1,364| 1,440| 1,619| 1,783| 1,819| 1,231| 1,513| 1,289| 1,992| 1,296| 1,438| 1,360| 1,620| 1,554| 1,628| 1,131| 1,584| 1,335| 1,184| 1,228| 1,30| 1,499| 1,423| 1,795| 1,223| 1,186| 1,735| 1,655| 1,737| 1,930| 1,923| 1,157| 1,227| 1,68| 1,898| 1,824| 1,781| 1,757| 1,311| 1,925| 1,308| 1,933| 1,985| 1,701| 1,955| 1,732| 1,748| 1,564| 1,415| 1,504| 1,94| 1,801| 1,308| 1,536| 1,909| 1,505| 1,897| 1,617| 1,482| 1,650| 1,748| 1,768| 1,609| 1,460| 1,551| 1,260| 1,49| 1,955| 1,947| 1,242| 1,724| 1,446| 1,174| 1,516| 1,711| 1,67| 1,745| 1,370| 1,432| 1,691| 1,819| 1,3| 1,484| 1,746| 1,448| 1,59| 1,128| 1,55| 1,350| 1,412| 1,255| 1,429| 1,835| 1,497| 1,662| 1,742| 1,89| 1,152| 1,466| 1,995| 1,863| 1,647| 1,264| 1,122| 1,375| 1,285| 1,490| 1,630| 1,665| 1,636| 1,368| 1,239| 1,13| 1,577| 1,708| 1,193| 1,856| 1,444| 1,947| 1,829| 1,229| 1,223| 1,689| 1,279| 1,139| 1,699| 1,137| 1,643| 1,324| 1,302| 1,867| 1,189| 1,598| 1,962| 1,764| 1,250| 1,624| 1,709| 1,721| 1,793| 1,317| 1,125| 1,576| 1,759| 1,938| 1,800| 1,449| 1,98| 1,268| 1,292| 1,168| 1,240| 1,307| 1,530| 1,949| 1,909| 1,522| 1,979| 1,811| 1,628| 1,857| 1,97| 1,100| 1,601| 1,150| 1,800| 1,384| 1,349| 1,956| 1,877| 1,532| 1,977| 1,829| 1,856| 1,194| 1,630| 1,64| 1,670| 1,913| 1,442| 1,140| 1,630| 1,309| 1,317| 1,684| 1,39| 1,123| 1,460| 1,974| 1,573| 1,788| 1,586| 1,222| 1,348| 1,929| 1,927| 1,638| 1,600| 1,409| 1,368| 1,933| 1,307| 1,571| 1,833| 1,852| 1,875| 1,88| 1,55| 1,380| 1,610| 1,432| 1,430| 1,56| 1,107| 1,220| 1,320| 1,982| 1,876| 1,622| 1,491| 1,211| 1,336| 1,697| 1,634| 1,471| 1,689| 1,51| 1,685| 1,907| 1,624| 1,847| 1,78| 1,41| 1,941| 1,414| 1,436| 1,762| 1,452| 1,50| 1,660| 1,7| 1,268| 1,462| 1,293| 1,322| 1,1| 1,670| 1,134| 1,551| 1,797| 1,983| 1,590| 1,71| 1,350| 1,691| 1,110| 1,185| 1,182| 1,84| 1,817| 1,929| 1,762| 1,835| 1,673| 1,890| 1,344| 1,161| 1,685| 1,661| 1,281| 1,394| 1,698| 1,784| 1,117| 1,384| 1,687| 1,573| 1,212| 1,159| 1,68| 1,265| 1,981| 1,872| 1,169| 1,317| 1,922| 1,248| 1,980| 1,468| 1,711| 1,971| 1,693| 1,399| 1,927| 1,431| 1,976| 1,817| 1,710| 1,437| 1,903| 1,577| 1,680| 1,563| 1,448| 1,881| 1,853| 1,504| 1,492| 1,367| 1,66| 1,308| 1,453| 1,521| 1,832| 1,74| 1,864| 1,241| 1,586| 1,570| 1,635| 1,152| 1,587| 1,983| 1,105| 1,937| 1,458| 1,20| 1,835| 1,84| 1,254| 1,593| 1,42| 1,461| 1,397| 1,921| 1,11| 1,589| 1,602| 1,56| 1,414| 1,585| 1,912| 1,264| 1,450| 1,45| 1,578| 1,502| 1,339| 1,455| 1,298| 1,188| 1,488| 1,389| 1,744| 1,113| 1,670| 1,90| 1,916| 1,111| 1,318| 1,875| 1,17| 1,902| 1,74| 1,191| 1,200| 1,161| 1,315| 1,126| 1,110| 1,793| 1,784| 1,437| 1,530| 1,99| 1,45| 1,83| 1,476| 1,195| 1,79| 1,498| 1,240| 1,153| 1,380| 1,260| 1,145| 1,80| 1,633| 1,326| 1,293| 1,139| 1,723| 1,503| 1,466| 1,767| 1,399| 1,965| 1,83| 1,97| 1,113| 1,434| 1,349| 1,599| 1,958| 1,456| 1,918| 1,810| 1,241| 1,209| 1,601| 1,912| 1,995| 1,236| 1,20| 1,244| 1,976| 1,171| 1,373| 1,127| 1,63| 1,242| 1,600| 1,264| 1,771| 1,603| 1,294| 1,712| 1,43| 1,114| 1,866| 1,868| 1,980| 1,780| 1,917| 1,879|];